Sofiène Tahar: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan, Sofiène Tahar

წელი:

2015

ენა:

english

ფაილი:

PDF, 3.76 MB

0 / 0

english, 2015

2

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.88 MB

0 / 0

english, 2002

3

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 7.03 MB

0 / 0

english, 2004

4

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 2.81 MB

0 / 0

english, 2008

5

Lecture Notes in Computer Science 10466

Lecture Notes in Computer Science 10466

Springer International Publishing

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

წელი:

2017

ენა:

english

ფაილი:

PDF, 14.49 MB

0 / 0

english, 2017

6

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 2.49 MB

0 / 0

english, 2002

7

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 4.64 MB

0 / 0

english, 2004

8

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 5.12 MB

0 / 0

english, 2008